| 225 | On the Logic of Normative Systems | Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael Wooldridge |
| 233 | Quantified Coalition Logic | Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge |
| 223 | The Mathematical Morpho-Logical View on Reasoning about Space | Marco Aiello, Brammert Ottens |
| 972 | AWA* . A Window Constrained Anytime Heuristic Search Algorithm | Sandip Aine, Partha P. Chakrabarti, Rajeev Kumar |
| 546 | Detecting Stochastically Scheduled Activities in Video | Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V.S. Subrahmanian, Octavian Udrea |
| 448 | An Axiomatic Approach to Personalized Ranking Systems | Alon Altman, Moshe Tennenholtz |
| 618 | Keep the Decision Tree and Estimate the Class Probabilities using its Decision Boundary | Isabelle Alvarez, Stephan Bernard, Guillaume Deffuant |
| 480 | Solving POMDPs Using Quadratically Constrained Linear Programs | Christopher Amato, Daniel S. Bernstein, Shlomo Zilberstein |
| 1017 | Market Based Resource Allocation with Incomplete Information | Bo An, Chunyan Miao, Zhiqi Shen |
| 887 | Updates for Nonlinear Discriminants | Edin Andelic, Martin Schafföner, Marcel Katz, Sven E. Krüger, Andreas Wendemuth |
| 495 | The Logic Behind Weighted CSP | Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà |
| 564 | Distributed Data Mining: Why Do More Than Aggregating Models | Mohamed Aoun-Allah, Guy Mineau |
| 604 | An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism | Ricardo M. Araujo, Luis C. Lamb |
| 650 | A Description Logic of Change | Alessandro Artale, Carsten Lutz, David Toman |
| 1775 | Effective Control Knowledge Transfer Through Learning Skill and Representation Hierarchies | Mehran Asadi, Manfred Huber |
| 594 | From Generic Knowledge to Specific Reasoning for Medical Image Interpretation using Graph based Representations | Jamal Atif, Céline Hudelot, Geoffroy Fouquier, Isabelle Bloch, Elsa Angelini |
| 227 | GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability | Gilles Audemard, Laurent Simon |
| 300 | Symmetry Breaking in Quantified Boolean Formulae | Gilles Audemard, Saïd Jabbour, Lakhdar Saïs |
| 296 | Image Modeling using Tree Structured Conditional Random Fields | Pranjal Awasthi, Aakanksha Gagrani, Balaraman Ravindran |
| 432 | Completing Description Logic Knowledge Bases using Formal Concept Analysis | Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulrike Sattler |
| 1159 | Stable Biclustering of Gene Expression Data with Nonnegative Matrix Factorizations | Liviu Badea, Doina Tilivea |
| 298 | A Fully Connectionist Model Generator for Covered First-Order Logic Programs | Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel |
| 1506 | A Heuristic Search Approach to Planning with Temporally Extended Preferences | Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith |
| 1398 | Determining Expert Profiles (With an Application to Expert Finding) | Krisztian Balog, Maarten de Rijke |
| 571 | Learning .Forgiving. Hash Functions: Algorithms & Large Scale Tests | Shumeet Baluja, Michele Covell |
| 1462 | General Game Learning using Knowledge Transfer | Bikramjit Banerjee, Peter Stone |
| 647 | Open Information Extraction from the Web | Michele Banko, Michael J. Cafarella, Stephen Soderland, Matt Broadhead, Oren Etzioni |
| 1600 | Non-monotonic Temporal Logics for Goal Specification | Chitta Baral, Jicheng Zhao |
| 1589 | Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning | Chitta Baral, Matt Hunsaker |
| 1354 | Computational Aspects of Analyzing Social Network Dynamics | Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns, Mayur Thakur |
| 1291 | A Machine Learning Approach for Statistical Software Testing | Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud |
| 276 | Learning by Analogy: A Classification Rule for Binary and Nominal Data | Sabri Bayoudh, Laurent Miclet, Arnaud Delhay |
| 295 | Trust Based Recommender System for Semantic Web | Punam Bedi, Harmeet Kaur, Sudeep Marwaha |
| 442 | Visually Tracking Football Games Based on TV Broadcasts | Michael Beetz, Suat Gedikli, Jan Bandouch, Bernhard Kirchlechner, Nico von Hoyningen-Huene, Alexander Perzylo |
| 1531 | Interactive Clustering of Text Collections According to a User-Specified Criterion | Ron Bekkerman, Hema Raghavan, James Allan, Koji Eguchi |
| 1429 | Web Page Clustering using Heuristic Search in the Web Graph | Ron Bekkerman, Shlomo Zilberstein, James Allan |
| 1679 | Context-Driven Predictions | Marc G. Bellemare, Doina Precup |
| 1452 | QCSP Made Practical by Virtue of Restricted Quantification | Marco Benedetti, Arnaud Lallouet, Jérémie Vautard |
| 1529 | On the Compilation of Stratified Belief Bases under Linear and Possibilistic Logic Policies | Salem Benferhat, Safa Yahi, Habiba Drias |
| 139 | Waiting and Relocation Strategies in Online Stochastic Vehicle Routing | Russell Bent, Pascal Van Hentenryck |
| 1355 | Learning Implied Global Constraints | Christian Bessiere, Remi Coletta, Thierry Petit |
| 1338 | Query-Driven Constraint Acquisition | Christian Bessiere, Remi Coletta, Barry O.Sullivan, Mathias Paulin |
| 725 | Phonetic Models for Generating Spelling Variants | Rahul Bhagat, Eduard Hovy |
| 348 | Heuristic Selection of Actions in Multiagent Reinforcement Learning | Reinaldo A. C. Bianchi, Carlos H. C. Ribeiro, Anna H. R. Costa |
| 1160 | Unsupervised Discretization Using Kernel Density Estimation | Marenglen Biba, Floriana Esposito, Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile |
| 1105 | A General Framework for Scheduling in a Stochastic Environment | Julien Bidot, Thierry Vidal, Philippe Laborie, John Christopher Beck |
| 259 | Entailment Semantics for Rules with Priorities | David Billington |
| 1191 | Sequence Prediction Exploiting Similary Information | István Bíró, Zoltán Szamonek, Csaba Szepesvári |
| 112 | Coalitions in Action Logic | Stefano Borgo |
| 84 | Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods | Tibor Bosse, Jan Treur |
| 755 | Fast Planning with Iterative Macros | Adi Botea, Martin Müller, Jonathan Schaeffer |
| 809 | New Constraint Programming Approaches for the Computation of Leximin-Optimal Solutions in Constraint Networks | Sylvain Bouveret, Michel Lema?tre |
| 585 | A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios | Felix Brandt, Felix Fischer, Paul Harrenstein, Yoav Shoham |
| 881 | Spiteful Bidding in Sealed-Bid Auctions | Felix Brandt, Tuomas Sandholm, Yoav Shoham |
| 723 | Identifying Expressions of Opinion in Context | Eric Breck, Yejin Choi, Claire Cardie |
| 1168 | Mediating between Qualitative & Quantitative Representations for Task-Orientated Human-Robot Interaction | Michael Brenner, Nick Hawes, John Kelleher, Jeremy Wyatt |
| 438 | Contextual Default Reasoning | Gerhard Brewka, Floris Roelofsen, Luciano Serafini |
| 1158 | Case-based Multilabel Ranking | Klaus Brinker, Eyke Hüllermeier |
| 762 | Efficient and Robust Independence-Based Markov Network Structure Discovery | Facundo Bromberg, Dimitris Margaritis |
| 238 | Fast Image Alignment Using Anytime Algorithms | Rupert Brooks, Tal Arbel, Doina Precup |
| 180 | Planning for Gene Regulatory Network Intervention | Daniel Bryce, Seungchan Kim |
| --- | Cooperating Reasoning Processes: More than Just the Sum of Their Parts | Alan Bundy |
| 1445 | Exploiting Known Taxonomies in Learning Overlapping Concepts | Lijuan Cai, Thomas Hofmann |
| 141 | Locality Sensitive Discriminant Analysis | Deng Cai, Xiaofei He, Kun Zhou, Han , Bao |
| 536 | EQL-Lite: Effective First-Order Query Processing in Description Logics | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 1349 | Multi-Dimensional Bid Improvement Algorithm for Simultaneous Auctions | Teddy Candale, Sandip Sen |
| 726 | Detect and Track Latent Factors with Online Nonnegative Matrix Factorization | Bin Cao, Dou Shen, Jian-Tao Sun, Xuanhui Wang, Qiang Yang, Zheng Chen |
| 1474 | Learning Semantic Descriptions of Web Information Sources | Mark James Carman, Craig A. Knoblock |
| 617 | Using Linear Programming for Bayesian Exploration in Markov Decision Processes | Pablo Samuel Castro, Doina Precup |
| 621 | Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions | Jesús Cerquides, Ulle Endriss, Andrea Giovannucci, Juan A. Rodríguez-Aguilar |
| 1307 | Supervised Latent Semantic Indexing using Adaptive Sprinkling | Sutanu Chakraborti, Rahman Mukras, Robert Lothian, Nirmalie Wiratunga, Stuart Watt, David Harper |
| 345 | Coalitional Bargaining with Agent Type Uncertainty | Georgios Chalkiadakis, Craig Boutilier |
| 681 | Learning to Walk through Imitation | Rawichote Chalodhorn, David B. Grimes, Keith Grochow, Rajesh P.N. Rao |
| 1683 | An Improved Probabilistic Ant based Clustering for Distributed Databases | Ramachandran Chandrasekar, Thanukrishnan Srinivasan |
| 776 | Compiling Bayesian Networks Using Variable Elimination | Mark Chavira, Adnan Darwiche |
| 237 | Directed Graph Embedding | Mo Chen, Qiong Yang, Xiaoou Tang |
| 1409 | Long-Distance Mutual Exclusion for Propositional Planning | Yixin Chen, Zhao Xing, Weixiong Zhang |
| 1471 | Iterated Weaker-than-Weak Dominance | Shih-Fen Cheng, Michael P. Wellman |
| 411 | A Lattice-based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks | Carlos Iván Chesñevar, Guillermo Ricardo Simari |
| 544 | Reaching Envy-Free States in Distributed Negotiation Settings | Yann Chevaleyre, Ulle Endriss, Sylvia Estivie, Nicolas Maudet |
| 497 | Privacy and Artificial Agents, or, Is Google Reading My Email? | Samir Chopra, Laurence White |
| 1247 | Representing Kriegspiel States with Metapositions | Paolo Ciancarini, Gian Piero Favini |
| 1237 | Towards an Integration of Golog and Planning | Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel |
| 1428 | Constructing Career Histories: A Case Study in Disentangling the Threads | Paul R. Cohen |
| 799 | Learning and Transferring Action Schemas | Paul R. Cohen, Yu-Han Chang, Clayton T. Morrison, Carole Beal |
| 353 | Incremental Mechanism Design | Vincent Conitzer, Tuomas Sandholm |
| 926 | A Framework for Decentralized Qualitative Model-Based Diagnosis | Luca Console, Claudia Picardi, Daniele Theseider Duprè |
| 1169 | Optimal Soft Arc Consistency | Martin C. Cooper, Simon de Givry, Thomas Schiex |
| 154 | Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis | Marie-Odile Cordier, Alban Grastien |
| 592 | A Conceptual Graph approach for the generation of referring expressions | Madalina Croitoru, Kees Van Deemter |
| 1261 | Online Learning and Exploiting Relational Models in Reinforcement Learning | Tom Croonenborghs, Jan Ramon, Hendrik Blockeel, Maurice Bruynooghe |
| 936 | A Logical Framework for Modularity of Ontologies | Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler |
| 1540 | When is Temporal Planning Really Temporal? | William Cushing, Subbarao Kambhampati, Mausam, Daniel S. Weld |
| 1523 | Permanents, Transport Polytopes and Positive Definite Kernels on Histograms | Marco Cuturi |
| 1470 | Utile Distinctions for Relational Reinforcement Learning | William Dabney, Amy McGovern |
| 1040 | Boosting Kernel Discriminant Analysis and Its Application on Tissue Classification of Gene Expression Data | Guang Dai, Dit-Yan Yeung |
| 1064 | Topological Value Iteration Algorithm for Markov Decision Processes | Peng Dai, Judy Goldsmith |
| 272 | Case Base Mining for Adaptation Knowledge Acquisition | Mathieu d.Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary |
| 1472 | Change of Representation for Statistical Relational Learning | Jesse Davis, Irene Ong, Jan Struyf, Elizabeth Burnside, David Page, V?tor Santos Costa |
| 421 | Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination | Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits |
| 450 | Automatic Synthesis of New Behaviors from a Library of Available Behaviors | Giuseppe De Giacomo, Sebastian Sardina |
| 601 | Modeling When Connections Are the Problem | Johan de Kleer |
| 641 | ProbLog: A Probabilistic Prolog and Its Application in Link Discovery | Luc De Raedt, Angelika Kimmig, Hannu Toivonen |
| 964 | Belief Change Based on Global Minimisation | James P. Delgrande, Jérôme Lang, Torsten Schaub |
| 646 | A Ranking Approach to Pronoun Resolution | Pascal Denis, Jason Baldridge |
| 1469 | Pseudo-Aligned Multilingual Corpora | Fernando Diaz, Donald Metzler |
| 744 | Learning Policies for Embodied Virtual Agents through Demonstration | Jonathan Dinerstein, Parris K. Egbert, Dan Ventura |
| 554 | Tractable Temporal Reasoning | Clare Dixon, Michael Fisher, Boris Konev |
| 1370 | Planning with Goal Utility Dependencies | Minh B. Do, J. Benton, Menkes van den Briel, Subbarao Kambhampati |
| 167 | Chronicle Recognition Improvement using Temporal Focusing and Hierarchization | Christophe Dousson, Pierre Le Maigat |
| 1178 | Locating Complex Named Entities in Web Text | Doug Downey, Matthew Broadhead, Oren Etzioni |
| 1465 | Models of Searching and Browsing: Languages, Studies, and Application | Doug Downey, Susan Dumais, Eric Horvitz |
| 1617 | Sharing the Road: Autonomous Vehicles Meet Human Drivers | Kurt Dresner, Peter Stone |
| 708 | Word Sense Disambiguation through Sememe Labeling | Xiangyu Duan, Jun Zhao, Bo Xu |
| 675 | Learning Classifiers When the Training Data Is Not IID | Murat Dundar, Balaji Krishnapuram, Jinbo Bi, R. Bharat Rao |
| 851 | Communicating Effectively in Resource-Constrained Multi-Agent Systems | Partha S. Dutta, Claudia V. Goldman, Nicholas R. Jennings |
| 1075 | Kernel Carpentry for Online Regression using Randomly Varying Coefficient Model | Narayanan U. Edakunni, Stefan Schaal, Sethu Vijayakumar |
| 1610 | Complexity Results for Checking Equivalence of Stratified Logic Programs | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 1625 | On Reversing Actions: Algorithms and Complexity | Thomas Eiter, Esra Erdem, Wolfgang Faber |
| 951 | Case-Based Techniques Used for Dialogue Understanding and Planning in a Human-Robot Dialogue System | Karolina Eliasson |
| 485 | An Adaptive Context-based Algorithm for Term Weighting: Application to Single-Word Question Answering | Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli |
| 74 | Occam.s Razor Just Got Sharper | Saher Esmeir, Shaul Markovitch |
| 1145 | Fault-Model-Based Test Generation for Embedded Software | Michael Esser, Peter Struss |
| 142 | Semantic Precision and Recall for Ontology Alignment Evaluation | Jérôme Euzenat |
| 712 | The Value of Observation for Monitoring Dynamic Systems | Eyal Even-Dar, Sham M. Kakade, Yishay Mansour |
| 488 | Operator Component Matrix Model for IMP Program Diagnosis | Zhao-Fu Fan, Yunfei Jiang |
| 304 | On Valued Negation Normal Form Formulas | Hélène Fargier, Pierre Marquis |
| 403 | Dealing with Perception Errors in Multi-Robot System Coordination | Alessandro Farinelli, Daniele Nardi, Paul Scerri, Alberto Ingenito |
| 1359 | Team Programming in Golog under Partial Observability | Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz |
| 1342 | Quantified Constraint Satisfaction Problems: From Relaxations to Explanations | Alex Ferguson, Barry O.Sullivan |
| 677 | A Decision-Theoretic Model of Assistance | Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli |
| 956 | Sequence Labelling in Structured Domains with Hierarchical Recurrent Neural Networks | Santiago Fernández, Alex Graves, Jürgen Schmidhuber |
| 507 | Transferring Learned Control-Knowledge between Planners | Susana Fernández, Ricardo Aler, Daniel Borrajo |
| 1440 | A Logic Program Characterization of Causal Theories | Paolo Ferraris |
| 1449 | A New Perspective on Stable Models | Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz |
| 1651 | WiFi-SLAM Using Gaussian Process Latent Variable Models | Brian Ferris, Dieter Fox, Neil Lawrence |
| 247 | Conflict-Based Diagnosis: Adding Uncertainty to Model-based Diagnosis | Ildikó Flesch, Peter Lucas, Theo van der Weide |
| 466 | A New Approach for Stereo Matching in Autonomous Mobile Robot Applications | Pasquale Foggia, Jean-Michel Jolion, Alessandro Limongiello, Mario Vento |
| 1488 | Voronoi Random Fields: Extracting Topological Structure of Indoor Environments via Place Labeling | Stephen Friedman, Hanna Pasula, Dieter Fox |
| 1193 | The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems | Alan M. Frisch, Matthew Grum, Chris Jefferson, Bernadette Mart?nez Hern?ndez, Ian Miguel |
| 878 | Semi-Supervised Learning for Multi-Component Data Classification | Akinori Fujino, Naonori Ueda, Kazumi Saito |
| 90 | Predicting and Preventing Coordination Problems in Cooperative Q-learning Systems | Nancy Fulda, Dan Ventura |
| 1371 | Feature Selection and Kernel Design via Linear Programming | Glenn Fung, Romer Rosales, R. Bharat Rao |
| 410 | Opinion Sentence Search Engine on Open-domain Blog | Osamu Furuse, Nobuaki Hiroshima, Setsuo Yamada, Ryoji Kataoka |
| 1106 | Computing Semantic Relatedness using Wikipedia-based Explicit Semantic Analysis | Evgeniy Gabrilovich, Shaul Markovitch |
| 1241 | Learning Restart Strategies | Matteo Gagliolo, Jürgen Schmidhuber |
| 645 | Incremental Construction of Structured Hidden Markov Models | Ugo Galassi, Attilio Giordana, Lorenza Saitta |
| 875 | On Mining Closed Sets in Multi-Relational Data | Gemma C. Garriga, Roni Khardon, Luc De Raedt |
| 1095 | Holonic Multiagent Multilevel Simulation: Application to Real-Time Pedestrian Simulation in Urban Environment | Nicolas Gaud, Franck Gechter, Stéphane Galland, Abderrafiâa Koukam |
| 841 | Coordination to Avoid Starvation of Bottleneck Agents in a Large Network System | Rajesh Gautam, Kazuo Miyashita |
| 131 | Conflict-Driven Answer Set Solving | Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
| 1203 | On Natural Language Processing and Plan Recognition | Christopher W. Geib, Mark Steedman |
| 567 | Ranking Alternatives on the Basis of Generic Constraints and Examples -- A Possibilistic Approach | Romain Gérard, Souhila Kaci, Henri Prade |
| 1246 | Sellers Competing for Buyers in Online Markets: Reserve Prices, Shill Bids, and Auction Fees | Enrico H. Gerding, Alex Rogers, Rajdeep K. Dash, Nicholas R. Jennings |
| 1643 | Improving Embeddings by Flexible Exploitation of Side Information | Ali Ghodsi, Dana Wilkinson, Finnegan Southey |
| 1486 | Information-Theoretic Approaches to Branching in Search | Andrew Gilpin, Tuomas Sandholm |
| 673 | State Similarity Based Approach for Improving Performance in RL | Sertan Girgin, Faruk Polat, Reda Alhajj |
| 337 | Conjunctive Query Answering for the Description Logic SHIQ | Birte Glimm, Ian Horrocks, Carsten Lutz, Uli Sattler |
| 1453 | From Sampling to Model Counting | Carla P. Gomes, Joerg Hoffmann, Ashish Sabharwal, Bart Selman |
| 243 | ItemRank: A Random-Walk Based Scoring Algorithm for Recommender Engines | Marco Gori, Augusto Pucci |
| 923 | Complexity of Pure Equilibria in Bayesian Games | Georg Gottlob, Gianluigi Greco, Toni Mancini |
| 699 | Conditional Constraint Satisfaction: Logical Foundations and Complexity | Georg Gottlob, Gianluigi Greco, Toni Mancini |
| 1563 | Peripheral-Foveal Vision for Real-time Object Recognition and Tracking in Video | Stephen Gould, Joakim Arfvidsson, Adrian Kaehler, Benjamin Sapp, Marius Messner, Gary Bradski, Paul Baumstarck, Sukwon Chung, Andrew Y. Ng |
| 1340 | Generalized Interval Projection: A New Technique for Consistent Domain Extension | Carlos Grandón, Gilles Chabert, Bertrand Neveu |
| 1152 | Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle | Éric Grégoire, Bertrand Mazure, Cédric Piette |
| 1593 | Decidable Reasoning in a Modified Situation Calculus | Yilan Gu, Mikhail Soutchanski |
| 1658 | Optimistic Active-Learning using Mutual Information | Yuhong Guo, Russ Greiner |
| 1674 | A Dual-Pathway Neural Network Model of Control Relinquishment in Motor Skill Learning | Ashish Gupta, David C. Noelle |
| 1109 | Using Ontologies and the Web to Learn Lexical Semantics | Aarti Gupta, Tim Oates |
| 1825 | Unsupervised Anomaly Detection | David Guthrie, Louise Guthrie, Ben Allison, Yorick Wilks |
| 1356 | Continuous Time Associative Bandit Problems | András György, Levente Kocsis, Ivett Szabó, Csaba Szepesvári |
| 1212 | Techniques for Efficient Interactive Configuration of Distribution Networks | Tarik Hadzic, Andrzej Wasowski, Henrik R. Andersen |
| 356 | Characterizing Solution Concepts in Games Using Knowledge-Based Programs | Joseph Y. Halpern, Yoram Moses |
| 355 | Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic | Joseph Y. Halpern, Leandro Chaves Rego |
| 1493 | Some Effects of a Reduced Relational Vocabulary on the Whodunit Problem | Daniel T. Halstead, Kenneth D. Forbus |
| 264 | Revisiting Output Coding for Sequential Supervised Learning | Guohua Hao, Alan Fern |
| 1639 | Maximum Margin Coresets for Active and Noise Tolerant Learning | Sariel Har-Peled, Dan Roth, Dav Zimak |
| 783 | Reducing Accidental Complexity in Planning Problems | Patrik Haslum |
| 1176 | An Analysis of the Use of Tags in a Blog Recommender System | Conor Hayes, Paolo Avesani, Sriharsha Veeramachaneni |
| 833 | Graph-Based Semi-Supervised Learning as a Generative Model | Jingrui He, Jaime Carbonell, Yan Liu |
| 1345 | Distance Constraints in Constraint Satisfaction | Emmanuel Hebrard, Barry O.Sullivan, Toby Walsh |
| 313 | Hybrid Elections Broaden Complexity-Theoretic Resistance to Control | Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe |
| 324 | Real Boosting a la Carte with an Application to Boosting Oblique Decision Tree | Claudia Henry, Richard Nock, Frank Nielsen |
| 1042 | Counting Complexity of Propositional Abduction | Miki Hermann, Reinhard Pichler |
| 1018 | Improving LRTA*(k) | Carlos Hernández, Pedro Meseguer |
| 980 | Efficient Calculation of Personalized Document Rankings | Claudia Hess, Klaus Stein |
| 856 | Planning via Petri Net Unfolding | Sarah Hickmott, Jussi Rintanen, Sylvie Thiébaux, Lang White |
| 1662 | Self-Adjusting Ring Modules (SARMs) for Flexible Gait Pattern Generation | Manfred Hild, Frank Pasemann |
| 1766 | Analogical Learning in a Turn-Based Strategy Game | Thomas R. Hinrichs, Kenneth D. Forbus |
| 541 | Detecting Changes in Unlabeled Data Streams using Martingale | Shen-Shyang Ho, Harry Wechsler |
| 185 | SAT Encodings of State-Space Reachability Problems in Numeric Domains | Jörg Hoffmann, Carla Gomes, Bart Selman, Henry Kautz |
| 1308 | Truthful Risk-Managed Combinatorial Auctions | Alan Holland, Barry O.Sullivan |
| 32 | Adaptation of Organizational Models for Multi-Agent Systems based on Max Flow Networks | Mark Hoogendoorn |
| 1129 | Structure Inference for Bayesian Multisensory Perception and Tracking | Timothy M. Hospedales, Joel J. Cartwright, Sethu Vijayakumar |
| 1259 | Constraint Partitioning for Solving Planning Problems with TrajectoryConstraints and GoalPreferences | Chih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen |
| 400 | Collaborative Inductive Logic Programming for Path Planning | Jian Huang, Adrian R. Pearce |
| 686 | Constructing New and Better Evaluation Measures for Machine Learning | Jin Huang, Charles X. Ling |
| 406 | Extracting Chatbot Knowledge from Online Discussion Forums | Jizhou Huang, Ming Zhou, Dan Yang |
| 219 | Observation Reduction for Strong Plans | Wei Huang, Zhonghua Wen, Yunfei Jiang, Lihua Wu |
| 409 | The Effect of Restarts on the Efficiency of Clause Learning | Jinbo Huang |
| 1685 | An Action Description Language for Iterated Belief Change | Aaron Hunter, James P. Delgrande |
| 1383 | Mechanism Design with Partial Revelation | Nathanaël Hyafil, Craig Boutilier |
| 678 | Augmented Experiment: Participatory Design with Multiagent Simulation | Toru Ishida, Yuu Nakajima, Yohei Murakami, Hideyuki Nakanishi |
| 1190 | Multi-issue Negotiation Protocol for Agents: Exploring Nonlinear Utility Spaces | Takayuki Ito, Hiromitsu Hattori, Mark Klein |
| 248 | Using a Hierarchical Bayesian Model to Handle High Cardinality Attributes with Relevant Interactions in a Classification Problem | Jorge Jambeiro Filho, Jacques Wainer |
| 1780 | Improving Anytime Point-Based Value Iteration Using Principled Point Selections | Michael R. James, Michael E. Samples, Dmitri A. Dolgov |
| 104 | A Three-Stage Neural Model for Attribute Based Classification and Indexing of Fly Ashes | M.A. Jayaram, M.C. Nataraja, C.N. Ravikumar |
| 1485 | Dynamic Heuristics for Backtrack Search on Tree-Decomposition of CSPs | Philippe Jégou, Samba Ndojh Ndiaye, Cyril Terrioux |
| 191 | A Model for Collective Strategy Diffusion in Agent Social Law Evolution | Yichuan Jiang, Toru Ishida |
| 843 | Named Entity Translation with Web Mining and Transliteration | Long Jiang, Ming Zhou, Lee-Feng Chien, Cheng Niu |
| 830 | The Role of Macros in Tractable Planning over Causal Graphs | Anders Jonsson |
| 1369 | Fast Incremental Square Root Information Smoothing | Michael Kaess, Ananth Ranganathan, Frank Dellaert |
| 1584 | Improving Author Coreference by Resource-bounded Information Gathering from the Web | Pallika Kanani, Andrew McCallum, Chris Pal |
| 695 | Selective Supervision: Guiding Supervised Learning with Decision-Theoretic Active Learning | Ashish Kapoor, Eric Horvitz, Sumit Basu |
| 1366 | Exploiting Sensorimotor Coordination for Learning to Recognize Objects | Yohannes Kassahun, Mark Edgington, Jose de Gea, Frank Kirchner |
| 1112 | Factored Planning using Decomposition Trees | Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux |
| 80 | Property Persistence in the Situation Calculus | Ryan F. Kelly, Adrian R. Pearce |
| 284 | Computation of Initial Modes for K-modes Clustering Algorithm using Evidence Accumulation | Shehroz S. Khan, Shri Kant |
| 635 | Symmetric Component Caching | Matthew Kitching, Fahiem Bacchus |
| 590 | Sequential Bundle-Bid Single-Sale Auction Algorithms for Decentralized Control | Sven Koenig, Craig Tovey, Xiaoming Zheng, Ilgaz Sungur |
| 1705 | Optimizing Classifier Performance in Word Sense Disambiguation by Redefining Sense Classes | Upali S. Kohomban, Wee Sun Lee |
| 750 | Avoidance of Model Re-Induction in SVM-based Feature Selection for Text Categorization | Aleksander Kolcz, Abdur Chowdhury |
| 1210 | Building Portable Options: Skill Transfer in Reinforcement Learning | George Konidaris, Andrew Barto |
| 140 | Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem | Richard E. Korf, Ariel Felner |
| 845 | A Factor Graph Model for Software Bug Finding | Ted Kremenek, Andrew Y. Ng, Dawson Engler |
| 99 | Logistic Regression Models for a Fast CBIR Method Based on Feature Selection | Riadh Ksantini, Djemel Ziou, Bernard Colin, Francois Dubeau |
| 663 | Fast (Incremental) Algorithms for Useful Classes of Simple Temporal Problems with Preferences | T. K. Satish Kumar |
| 991 | Learning from the Report-writing Behavior of Individuals | Mohit Kumar, Nikesh Garera, Alexander I. Rudnicky |
| 163 | Optimal Multi-Sensor based Multi Target Detection by Moving Sensors to the Maximal Clique in a Covering Graph | Ganesh P. Kumar, K. Madhava Krishna |
| 242 | Collapsed Variational Dirichlet Process Mixture Models | Kenichi Kurihara, Max Welling, Yee Whye Teh |
| 449 | Handling Alternative Activities in Resource-Constrained Project Scheduling Problems | J?rgen Kuster, Jannach Dietmar, Gerhard Friedrich |
| 753 | Marginalized Multi-Instance Kernels | James T. Kwok, Pak-Ming Cheung |
| 205 | SegGen: A Genetic Algorithm for Linear Text Segmentation | Sylvain Lamprier, Tassadit Amghar, Bernard Levrat, Frederic Saubion |
| 915 | r-grams: Relational Grams | Niels Landwehr, Luc De Raedt |
| 894 | Belief Update Revisited | Jérôme Lang |
| 948 | Vote and Aggregation in Combinatorial Domains with Structured Preferences | Jérôme Lang |
| 1110 | Winner Determination in Sequential Majority Voting | Jérôme Lang, Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 792 | Adaptive Genetic Algorithm with Mutation and Crossover Matrices | Nga Lam Law, Kwok Yip Szeto |
| 904 | A Study of Residual Supports in Arc Consistency | Christophe Lecoutre, Fred Hemery |
| 898 | Nogood Recording from Restarts | Christophe Lecoutre, Lakhdar Sais, S?bastien Tabary, Vincent Vidal |
| 1153 | Dynamically Weighted Hidden Markov Model for Spam Deobfuscation | Seunghak Lee, Iryoung Jeong, Seungjin Choi |
| 693 | RoxyBot-06: An (SAA)2 TAC Travel Agent | Seong Jae Lee, Amy Greenwald, Victor Naroditskiy |
| 566 | Combining Topological and Directional Information for Spatial Reasoning | Sanjiang Li |
| 891 | Generalized Additive Bayesian Network Classifiers | Jianguo Li, Changshui Zhang, Tao Wang, Yimin Zhang |
| 1100 | Generalizing the Bias Term of Support Vector Machines | Wenye Li, Kwong-Sak Leung, Kin-Hong Lee |
| 381 | Learning to Identify Unexpected Instances in the Test Set | Xiao-li Li, Bing Liu, See-Kiong Ng |
| 114 | Robust Object Tracking with a Case-base Updating Strategy | Wenhui Liao, Yan Tong, Zhiwei Zhu, Qiang Ji |
| 1735 | Training Conditional Random Fields using Virtual Evidence Boosting | Lin Liao, Tanzeem Choudhury, Dieter Fox, Henry Kautz |
| 1141 | Arc Consistency during Search | Chavalit Likitvivatanavong, Yuanlin Zhang, Scott Shannon, James Bowen, Eugene C. Freuder |
| 1664 | Explanation-Based Feature Construction | Shiau Hong Lim, Li-Lun Wang, Gerald DeJong |
| 1118 | Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving | Han Lin, Kaile Su |
| 1170 | From Answer Set Logic Programming to Circumscription via Logic of GK | Fangzhen Lin, Yi Zhou |
| 714 | Cluster-Based Selection of Statistical Answering Strategies | Lucian Vlad Lita, Jaime Carbonell |
| 718 | Bayesian Tensor Inference for Sketch-Based Facial Photo Hallucination | Wei Liu, Xiaoou Tang, Jianzhuang Liu |
| 749 | Feature Mining and Neuro-Fuzzy Inference System for Steganalysis of LSB Matching Stegangoraphy in Grayscale Images | Qingzhong Liu, Andrew H. Sung |
| 739 | Protein Quaternary Fold Recognition Using Conditional Graphical Models | Yan Liu, Jaime Carbonell, Vanathi Gopalakrishnan, Peter Weigele |
| 1295 | Automatic Gait Optimization with Gaussian Process Regression | Daniel Lizotte, Tao Wang, Michael Bowling, Dale Schuurmans |
| 461 | Automatic Verification of Knowledge and Time with NuSMV | Alessio Lomuscio, Charles Pecheur, Franco Raimondi |
| 1513 | Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition | Andrew Lovett, Morteza Dehghani, Kenneth Forbus |
| 1777 | Recursive Random Fields | Daniel Lowd, Pedro Domingos |
| 282 | Prediction of Probability of Survival in Critically Ill Patients Optimizing the Area under the ROC Curve | Oscar Luaces, José R. Quevedo, Francisco Taboada, Guillermo M. Albaiceta, Antonio Bahamonde |
| 866 | Conservative Extensions in Expressive Description Logics | Carsten Lutz, Dirk Walther, Frank Wolter |
| 204 | An Energy-Efficient, Multi-Agent Sensor Network for Detecting Diffuse Events | Rónán Mac Ruairí, Mark T. Keane |
| 1290 | Towards a Computational Model of Melody Identification in Polyphonic Music | Søren Tjagvad Madsen, Gerhard Widmer |
| 208 | A Multi-agent Medical System for Indian Rural Infant and Child Care | Vijay Kumar Mago, M. Syamala Devi |
| 771 | Automatically Selecting Answer Templates to Respond to Customer Emails | Rahul Malik, L. Venkata Subramaniam, Saroj Kaushik |
| 1326 | Infeasibility Certificates and the Complexity of the Core in Coalitional Games | Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
| 630 | A Multiobjective Frontier Search Algorithm | Lawrence Mandow, José Luis Pérez de la Cruz |
| 420 | Providing a Recommended Trading Agent to a Population: A Novel Approach | Efrat Manistersi, Ron Katz, Sarit Kraus |
| 426 | Enhancing MAS Cooperative Search Through Coalition Partitioning | Efrat Manisterski, David Sarne, Sarit Kraus |
| 342 | A Fast Analytical Algorithm for Solving Markov Decision Processes with Real-Valued Resources | Janusz Marecki, Sven Koenig, Milind Tambe |
| 123 | Topological Mapping through Distributed, Passive Sensors | Dimitri Marinakis, Gregory Dudek |
| 1680 | A Predictive Approach to Help-Desk Response Generation | Yuval Marom, Ingrid Zukerman |
| 1432 | Modelling Well-Structured Argumentation Lines | Diego C. Martínez, Alejandro J. García, Guillermo R. Simari |
| 1243 | A Distributed Architecture for Symbolic Data Fusion | Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria |
| 1568 | A Comparison of Time-Space Schemes for Graphical Models | Robert Mateescu, Rina Dechter |
| 1555 | Inferring Long-term User Properties Based on Users. Location History | Yutaka Matsuo, Naoaki Okazaki, Kiyoshi Izumi, Yoshiyuki Nakamura, Takuichi Nishimura, K?iti Hasida, Hideyuki Nakashima |
| 1414 | Efficient HPSG Parsing with Supertagging and CFG-Filtering | Takuya Matsuzaki, Yusuke Miyao, Jun.ichi Tsujii |
| 271 | Planning for Temporally Extended Goals as Propositional Satisfiability | Robert Mattmüller, Jussi Rintanen |
| 1532 | A Hybridized Planner for Stochastic Domains | Mausam, Piergiorgio Bertoli, Daniel S. Weld |
| 1402 | Abstract Interpretation of Programs for Model-based Debugging | Wolfgang Mayer, Markus Stumptner |
| 343 | The Ins and Outs of Critiquing | David McSherry, David W. Aha |
| 1754 | A Flexible Unsupervised PP-Attachment Method Using Semantic Information | Srinivas Medimi, Pushpak Bhattacharyya |
| 615 | Probabilistic Consistency Boosts MAC and SAC | Deepak Mehta, M. R. C. van Dongen |
| 1299 | Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Programs | Luc Mercier, Pascal Van Hentenryck |
| 702 | Hierarchical Heuristic Forward Search in Stochastic Domains | Nicolas Meuleau, Ronen I. Brafman |
| 253 | Learning from Partial Observations | Loizos Michael |
| 1148 | Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs | Shin-ichi Minato, Ken Satoh, Taisuke Sato |
| 1527 | Improving Activity Discovery with Automatic Neighborhood Estimation | David Minnen, Thad Starner, Irfan Essa, Charles Isbell |
| 240 | Generalizing Temporal Controllability | Michael D. Moffitt, Martha E. Pollack |
| 774 | Multipotential Games | Dov Monderer |
| 1737 | An Extension to Conformant Planning using Logic Programming | A. Ricardo Morales, Phan Huy Tu, Tran Cao Son |
| 1816 | Extracting Keyphrases to Represent Relations in Social Networks from Web | Junichiro Mori, Ishizuka Mitsuru, Yutaka Matsuo |
| 325 | A Faithful Integration of Description Logics with Logic Programming | Boris Motik, Riccardo Rosati |
| 1503 | Evaluating a Decision-Theoretic Approach to Tailored Example Selection | Kasia Muldner, Cristina Conati |
| 57 | Expectation Failure as a Basis for Agent-Based Model Diagnosis and Mixed Initiative Model Adaptation during Anomalous Plan Execution | Alice Mulvehill, Brett Benyo, Michael Cox, Renu Bostwick |
| 1034 | Relevance Estimation and Value Calibration of Evolutionary Algorithm Parameters | Volker Nannen, A.E. Eiben |
| 1005 | Local Search for Balanced Submodular Clusterings | Mukund Narasimhan, Jeff Bilmes |
| 398 | Efficiently Exploiting Symmetries in Real Time Dynamic Programming | Shravan Matthur Narayanamurthy, Balaraman Ravindran |
| 231 | Constraint and Variable Ordering Heuristics for Compiling Configuration Problems | Nina Narodytska, Toby Walsh |
| 704 | Hierarchical Multi-channel Hidden Semi Markov Models | Pradeep Natarajan, Ramakant Nevatia |
| 1142 | Consistency Checking of Basic Cardinal Constraints over Connected Regions | Isabel Navarrete, Antonio Morales, Guido Sciavicco |
| 880 | Graph Connectivity Measures for Unsupervised Word Sense Disambiguation | Roberto Navigli, Mirella Lapata |
| 270 | Iterated Belief Contraction from First Principles | Abhaya C. Nayak, Randy Goebel, Mehmet A. Orgun |
| 1758 | Shallow Semantics for Coreference Resolution | Vincent Ng |
| 818 | Kernel Matrix Evaluation | Canh Hao Nguyen, Tu Bao Ho |
| 786 | Subtree Mining for Question Classification Problem | Minh Le Nguyen, Thanh Tri Nguyen, Akira Shimazu |
| 1394 | A Theoretical Framework for Learning Bayesian Networks with Parameter Inequality Constraints | Radu Stefan Niculescu, Tom M. Mitchell, R. Bharat Rao |
| 649 | Neighborhood MinMax Projections | Feiping Nie, Shiming Xiang, Changshui Zhang |
| 1687 | Extracting and Visualizing Trust Relationships from Online Auction Feedback Comments | John O.Donovan, Barry Smyth, Vesile Evrim, Dennis McLeod |
| 1136 | Multi-Agent System that Attains Longevity via Death | Megan Olsen, Hava Siegelmann |
| 815 | Case-based Learning from Proactive Communication | Santi Ontañón, Enric Plaza |
| 572 | Argumentation Based Contract Monitoring in Uncertain Domains | Nir Oren, Timothy J. Norman, Alun Preece |
| 1192 | Learning to Count by Think Aloud Imitation | Laurent Orseau |
| 1088 | Dynamic Verification of Trust in Distributed Open Systems | Nardine Osman, David Robertson |
| 331 | Co-Localization from Labeled and Unlabeled Data Using Graph Laplacian | Jeffrey Junfeng Pan, Qiang Yang |
| 1124 | Natural Language Query Recommendation in Conversation Systems | Shimei Pan, James Shaw |
| 164 | Feature Based Occupancy Grid Maps for Sonar Based Safe-Mapping | Amit Kumar Pandey, K. Madhava Krishna, Mainak Nath |
| 944 | Probabilistic Go Theories | Austin Parker, Fusun Yaman, Dana Nau, V.S. Subrahmanian |
| 1761 | What You Seek is What You Get: Extraction of Class Attributes from Query Logs | Marius Pasca, Benjamin Van Durme |
| 976 | Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions | Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta |
| 698 | Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems | Jonathan P. Pearce, Milind Tambe |
| 1353 | State Space Search for Risk-Averse Agents | Patrice Perny, Olivier Spanjaard, Louis-Xavier Storme |
| 1043 | MB-DPOP: A New Memory-Bounded Algorithm for Distributed Optimization | Adrian Petcu, Boi Faltings |
| 862 | PC-DPOP: A New Partial Centralization Algorithm for Distributed Optimization | Adrian Petcu, Boi Faltings, Roger Mailler |
| 1562 | An Analysis of Laplacian Methods for Value Function Approximation in MDPs | Marek Petrik |
| 1195 | Average-Reward Decentralized Markov Decision Processes | Marek Petrik, Shlomo Zilberstein |
| 143 | Probabilistic Mobile Manipulation in Dynamic Environments, with Application to Opening Doors | Anna Petrovskaya, Andrew Y. Ng |
| 445 | DiPRA: Distributed Practical Reasoning Architecture | Giovanni Pezzulo, Gianguglielmo Calvi, Cristiano Castelfranchi |
| 174 | Global/Local Dynamic Models | Avi Pfeffer, Subrata Das, David Lawless, Brenda Ng |
| 839 | Building Structure into Local Search for SAT | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 527 | A Tighter Error Bound for Decision Tree Learning Using PAC Learnability | Chaithanya Pichuka, Raju S. Bapi, Chakravarthy Bhagvati, Arun K. Pujari, Bulusu L. Deekshatulu |
| 1090 | Incompleteness and Incomparability in Preference Aggregation | Maria Silvia Pini, Francesca Rossi, K. Brent Venable, Toby Walsh |
| 472 | Surprise as Shortcut for Anticipation: Clustering Mental States in Reasoning | Michele Piunti, Cristiano Castelfranchi, Rino Falcone |
| 1682 | Efficient Failure Detection on Mobile Robots Using Particle Filters with Gaussian Process Proposals | Christian Plagemann, Dieter Fox, Wolfram Burgard |
| 178 | Semi-Supervised Learning of Attribute-Value Pairs from Product Descriptions | Katharina Probst, Rayid Ghani, Marko Krema, Andrew Fano, Yan Liu |
| 221 | Gossip-Based Aggregation of Trust in Decentralized Reputation Systems | Ariel D. Procaccia, Yoram Bachrach, Jeffrey S. Rosenschein |
| 161 | Multi-Winner Elections: Complexity of Manipulation, Control and Winner-Determination | Ariel D. Procaccia, Jeffrey S. Rosenschein, Aviv Zohar |
| 967 | Automated Benchmark Model Generators for Model-Based Diagnostic Inference | Gregory Provan, Jun Wang |
| 1411 | Automated Heart Wall Motion Abnormality Detection from Ultrasound Images using Bayesian Networks | Maleeha Qazi, Glenn Fung, Sriram Krishnan, Romer Rosales, Harald Steck, R. Bharat Rao, Don Poldermans, Dhanalakshmi Chandrasekaran |
| 1334 | Near-Optimal Anytime Coalition Structure Generation | Talal Rahwan, Sarvapali D. Ramchurn, Viet Dung Dang, Nicholas R. Jennings |
| 1739 | Bayesian Inverse Reinforcement Learning | Deepak Ramachandran, Eyal Amir |
| 1361 | Loopy SAM | Ananth Ranganathan, Michael Kaess, Frank Dellaert |
| 1542 | Kernel Conjugate Gradient for Fast Kernel Machines | Nathan D. Ratliff, J. Andrew Bagnell |
| 287 | Deictic Option Schemas | Balaraman Ravindran, Andrew G. Barto, Vimal Mathew |
| 569 | Real-Time Heuristic Search with a Priority Queue | D. Chris Rayner, Katherine Davison, Vadim Bulitko, Kenneth Anderson, Jieshan Lu |
| 1810 | Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone | Jochen Renz |
| 1667 | Opponent Modeling in Scrabble | Mark Richards, Eyal Amir |
| 697 | Diagnosability Testing with Satisfiability Algorithms | Jussi Rintanen, Alban Grastien |
| 690 | Diagnosers and Diagnosability of Succinct Transition Systems | Jussi Rintanen |
| 537 | A fusion of Stacking with Dynamic Integration | Niall Rooney, David Patterson |
| 933 | Acquiring a Robust Case Base for the Robot Soccer Domain | Raquel Ros, Josep Lluís Arcos |
| 1385 | AEMS: An Anytime Online Search Algorithm for Approximate Policy Refinement in Large POMDPs | Stéphane Ross, Brahim Chaib-draa |
| 574 | Efficient Bayesian Task-Level Transfer Learning | Daniel M. Roy, Leslie P. Kaelbling |
| 279 | Routing Mediators | Ola Rozenfeld, Moshe Tennenholtz |
| 1630 | Best-first Utility-guided Search | Wheeler Ruml, Minh B. Do |
| 377 | Graph Decomposition for Efficient Multi-Robot Path Planning | Malcolm Ryan |
| 768 | Robust Human-Computer Interaction System Guiding a User by Providing Feedback | Michael S. Ryoo, Jake K. Aggarwal |
| 1339 | An efficient protocol for negotiation over multiple indivisible resources | Sabyasachi Saha, Sandip Sen |
| 659 | QuantMiner: A Genetic Algorithm for Mining Quantitative Association Rules | Ansaf Salleb-Aouissi, Christel Vrain, Cyril Nortet |
| 1085 | Automated Design of Multistage Mechanisms | Tuomas Sandholm, Vincent Conitzer, Craig Boutilier |
| 1560 | A Dynamic Approach for MPE and Weighted MAX-SAT | Tian Sang, Paul Beame, Henry Kautz |
| 189 | Inside-Outside Probability Computation for Belief Propagation | Taisuke Sato |
| 1603 | Is the Turing Test Good Enough? The Fallacy of Resource-Unbounded Intelligence | Virginia Savova, Leonid Peshkin |
| 250 | Depth Estimation using Monocular and Stereo Cues | Ashutosh Saxena, Jamie Schulte, Andrew Y. Ng |
| 176 | OSS: A Semantic Similarity Function based on Hierarchical Ontologies | Vincent Schickel-Zuber, Boi Faltings |
| 215 | Description Logics with Approximate Definitions . Precise Modeling of Vague Concepts | Stefan Schlobach, Michel Klein, Linda Peelen |
| 682 | A Size-Based Qualitative Approach to the Representation of Spatial Granularity | Hedda R. Schmidtke, Woontack Woo |
| 938 | Qualitative Temporal Reasoning about Vague Events | Steven Schockaert, Martine De Cock, Etienne E. Kerre |
| 1599 | Scalable Diagnosability Checking of Event-Driven Systems | Anika Schumann, Yannick Pencol? |
| 1215 | Combining Learning and Word Sense Disambiguation for Intelligent User Profiling | Giovanni Semeraro, Marco Degemmis, Pasquale Lops, Pierpaolo Basile |
| 1572 | Emergence of Norms through Social Learning | Sandip Sen, Stéphane Airiau |
| 1696 | Memory-Bounded Dynamic Programming for DEC-POMDPs | Sven Seuken, Shlomo Zilberstein |
| 1675 | Logical Circuit Filtering | Dafna Shahaf, Eyal Amir |
| 42 | Forward Search Value Iteration for POMDPs | Guy Shani, Ronen I. Brafman, Solomon E. Shimony |
| 1080 | Dynamic Interactions Between Goals and Beliefs | Steven Shapiro, Gerhard Brewka |
| 1116 | Transfer Learning in Real-Time Strategy Games Using Hybrid CBR/RL | Manu Sharma, Michael Holmes, Juan Santamaria, Arya Irani, Charles Isbell, Ashwin Ram |
| 1805 | Document Summarization using Conditional Random Fields | Dou Shen, Jian-Tao Sun, Hua Li, Qiang Yang, Zheng Chen |
| 1519 | Real-Time Detection of Task Switches of Desktop Users | Jianqiang Shen, Lida Li, Thomas G. Dietterich |
| 1533 | A Dual-layer CRFs Based Joint Decoding Method for Cascaded Segmentation and Labeling Tasks | Yanxin Shi, Mengqiu Wang |
| 82 | Parametric Kernels for Sequence Data Analysis | Young-In Shin, Donald Fussell |
| 689 | Hierarchical Diagnosis of Multiple Faults | Sajjad Siddiqi, Jinbo Huang |
| 305 | Information-Based Agency | Carles Sierra, John Debenham |
| 605 | Reinforcement Learning of Local Shape in the Game of Go | David Silver, Richard Sutton, Martin M?ller |
| 352 | Semi-Supervised Gaussian Process Classifiers | Vikas Sindhwani, Wei Chu, S. Sathiya Keerthi |
| 489 | Detection of Cognitive States from fMRI Data using Machine Learning Techniques | Vishwajeet Singh, Krishna P. Miyapuram, Raju S. Bapi |
| 1611 | Efficient Planning of Informative Paths for Multiple Robots | Amarjeet Singh, Andreas Krause, Carlos Guestrin, William Kaiser, Maxim Batalin |
| 914 | Estimating the rate of Web Page Updates | Sanasam Ranbir Singh |
| 235 | Formalizing Communication Protocols for Multiagent Systems | Munindar P. Singh |
| 794 | Control of Agent Swarms using Generalized Centroidal Cyclic Pursuit Laws | Arpita Sinha, Debasish Ghose |
| 1640 | Database-Text Alignment via Structured Multilabel Classification | Benjamin Snyder, Regina Barzilay |
| 1645 | Inferring Complex Agent Motions from Partial Trajectory Observations | Finnegan Southey, Wesley Loh, Dana Wilkinson |
| 478 | Color Learning on a Mobile Robot: Towards Full Autonomy under Changing Illumination | Mohan Sridharan, Peter Stone |
| 246 | On the Automatic Scoring of Handwritten Essays | Sargur Srihari, Rohini Srihari, Pavithra Babu, Harish Srinivasan |
| 596 | Domain Independent Approaches for Finding Diverse Plans | Biplav Srivastava, Tuan A. Nguyen, Alfonso Gerevini, Subbarao Kambhampati, Minh Binh Do, Ivan Serina |
| 124 | Online Speed Adaptation using Supervised Learning for High-Speed, Off-Road Autonomous Driving | David Stavens, Gabriel Hoffmann, Sebastian Thrun |
| --- | Learning and Multiagent Reasoning for Autonomous Agents | Peter Stone |
| 919 | Dances with Words | Carlo Strapparava, Alessandro Valitutti, Oliviero Stock |
| 1138 | Model-based Optimization of Testing through Reduction of Stimuli | Peter Struss |
| 134 | Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs | Sathiamoorthy Subbarayan, Henrik Reif Andersen |
| 913 | A General Framework for Reasoning about Inconsistency | V.S. Subrahmanian, Leïla Amgoud |
| 1426 | On Modeling Multiagent Task Scheduling as a Distributed Constraint Optimization Problem | Evan A. Sultanik, Pragnesh Jay Modi, William C. Regli |
| 58 | Dynamic Weighting A* Search-based MAP Algorithm for Bayesian Networks | Xiaoxun Sun, Marek J. Druzdzel, Changhe Yuan |
| 598 | The Fringe-Saving A* Search Algorithm . A Feasibility Study | Xiaoxun Sun, Sven Koenig |
| 888 | Appearance based Recognition Methodology for Recognising Fingerspelling Alphabets | M.G. Suraj, D.S. Guru |
| 1262 | An Experts Algorithm for Transfer Learning | Erik Talvitie, Satinder Singh |
| 864 | Direct Code Access in Self-Organizing Neural Networks for Reinforcement Learning | Ah-Hwee Tan |
| 1011 | Layout Analysis of Tree-Structured Scene Frames in Comic Images | Takamasa Tanaka, Kenji Shoji, Fubito Toyama, Juichi Miyamichi |
| 1250 | Emotions as Durative Dynamic State for Action Selection | Emmanuel Tanguy, Philip Willis, Joanna J. Bryson |
| 738 | Grounding Abstractions in Predictive State Representations | Brian Tanner, Vadim Bulitko, Anna Koop, Cosmin Paduraru |
| 1111 | Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling | Peter Tino, Nikolaos Gianniotis |
| 380 | Face Recognition via the Overlapping Energy Histogram | Ronny Tjahyadi, Wanquan Liu, Senjian An, Svetha Venkatesh |
| 1827 | Planning under Risk and Knightian Uncertainty | Felipe W. Trevizan, Fábio G. Cozman, Leliane N. de Barros |
| 1225 | Instace-based AMN Classification for Improved Object Recognition in 2D and 3D Laser Range Data | Rudolph Triebel, Richard Schmidt, óscar Martínez Mozos, Wolfram Burgardd |
| 391 | Ensembles of Partially Trained SVMs with Multiplicative Updates | Ivor W. Tsang, James T. Kwok |
| 885 | Word Sense Disambiguation with Spreading Activation Networks Generated from Thesauri | George Tsatsaronis, Michalis Vazirgiannis, Ion Androutsopoulos |
| 1213 | Morphological Annotation of a Large Spontaneous Speech Corpus in Japanese | Kiyotaka Uchimoto, Hitoshi Isahara |
| 997 | Speaker-Invariant Features for Automatic Speech Recognition | Srinivasan Umesh, D. Rama Sanand, G. Praveen |
| 1062 | Correlation Clustering for Crosslingual Link Detection | Jurgen Van Gael, Xiaojin Zhu |
| 198 | Towards Efficient Computation of Error Bounded Solutions in POMDPs: Expected Value Approximation and Dynamic Disjunctive Beliefs | Pradeep Varakantham, Rajiv T. Maheswaran, Tapana Gupta, Milind Tambe |
| 1752 | Resource Constraints on Computation and Communication in the Brain | Sashank Varma |
| 722 | Progression of Situation Calculus Action Theories with Incomplete Information | Stavros Vassos, Hector Levesque |
| 835 | Semantic Indexing of a Competence Map to Support Scientific Collaboration in a Research Community | Paola Velardi, Roberto Navigli, Michaël Petit |
| 1285 | An Experience on Reputation Models Interoperability Based on a Functional Ontology | Laurent Vercouter, Sara J. Casare, Jaime S. Sichman, Anarosa A. F. Brand?o |
| 858 | A labeling approach to the computation of credulous acceptance in argumentation | Bart Verheij |
| 1388 | Generating Bayes-Nash Equilibria to Design Autonomous Trading Agents | Ioannis A. Vetsikas, Nicholas R. Jennings, Bart Selman |
| 127 | MESH-Based Active Monte Carlo Recognition (MESH-AMCR) | Felix von Hundelshausen, H. J. Wuensche, Marco Block, Raul Kompass, Raúl Rojas |
| 115 | Manifold-Ranking Based Topic-Focused Multi-Document Summarization | Xiaojun Wan, Jianwu Yang, Jianguo Xiao |
| 41 | A Convengent Solution to Tensor Subspace Learning | Huan Wang, Shuicheng Yan, Thomas Huang, Xiaoou Tang |
| 511 | A Hybrid Ontology Directed Feedback Selection Algorithm for Supporting Creative Problem Solving Dialogues | Hao-Chuan Wang, Rohit Kumar, Carolyn Penstein Rosé, Tsai-Yen Li, Chun-Yen Chang |
| 987 | All Common Subsequences | Hui Wang |
| 1672 | Common Sense Based Joint Training of Human Activity Recognizers | Shiaokai Wang, William Pentney, Ana-Maria Popescu, Tanzeem Choudhury, Matthai Philipose |
| 573 | First Order Decision Diagrams for Relational MDPs | Chenggang Wang, Saket Joshi, Roni Khardon |
| 1184 | Formal Trust Model for Multiagent Systems | Yonghong Wang, Munindar P. Singh |
| 1156 | Self-Adaptive Neural Networks Based on a Poisson Approach for Knowledge Discovery | Haiying Wang, Huiru Zheng, Francisco Azuaje |
| 1701 | Simple Training of Dependency Parsers via Structured Boosting | Qin Iris Wang, Dekang Lin, Dale Schuurmans |
| 727 | Dynamic Mixture Models for Multiple Time-Series | Xing Wei, Jimeng Sun, Xuerui Wang |
| 107 | Using Graph Algebra to Optimize Neighborhood for Isometric Mapping | Guihua Wen, Lijun Jiang, Nigel R. Shadbolt |
| 517 | Dynamics of Temporal Difference Learning | Andreas Wendemuth |
| 1081 | Machine Learning for On-Line Hardware Reconfiguration | Jonathan Wildstrom, Peter Stone, Emmett Witchel, Mike Dahlin |
| 1216 | A Primitive Based Generative Model to Infer Timing Information in Unpartitioned Handwriting Data | Ben H. Williams, Marc Toussaint, Amos J. Storkey |
| 540 | Relational Knowledge with Predictive State Representations | David Wingate, Vishal Soni, Britton Wolfe, Satinder Singh |
| 1678 | One Class per Named Entity: Exploiting Unlabeled Text for Named Entity Recognition | Yingchuan Wong, Hwee Tou Ng |
| 733 | Using a Mobile Robot for Cognitive Mapping | Chee K. Wong, Jochen Schmidt, Wai K. Yeap |
| 1253 | Representations for Action Selection Learning from Real-Time Observation of Task Experts | Mark A. Wood, Joanna J. Bryson |
| 319 | A Subspace Kernel for Nonlinear Feature Extraction | Mingrui Wu, Jason Farquhar |
| 1722 | A Privacy-Sensitive Approach to Modeling Multi-Person Conversations | Danny Wyatt, Tanzeem Choudhury, Jeff Bilmes, Henry Kautz |
| 834 | Discriminative Learning of Beam-Search Heuristics for Planning | Yuehua Xu, Alan Fern, Sungwook Yoon |
| 1392 | Understanding Drawings by Compositional Analogy | Patrick W. Yaner, Ashok K. Goel |
| 867 | A Call Admission Control Scheme using NeuroEvolution Algorithm in Cellular Networks | Xu Yang, John Bigham |
| 252 | A Scalable Kernel-Based Algorithm for Semi-Supervised Metric Learning | Dit-Yan Yeung, Hong Chang, Guang Dai |
| 351 | Multi-Document Summarization by Maximizing Informative Content-Words | Wen-tau Yih, Joshua Goodman, Lucy Vanderwende, Hisami Suzuki |
| 122 | Automatic Decision of Piano Fingering Based on a Hidden Markov Models | Yuichiro Yonebayashi, Hirokazu Kameoka, Shigeki Sagayama |
| 724 | Using Learned Policies in Heuristic-Search Planning | SungWook Yoon, Alan Fern, Robert Givan |
| 1430 | Ambiguous Part-of-Speech Tagging for Improving Accuracy and Domain Portability of syntactic parsers | Kazuhiro Yoshida, Yoshimasa Tsuruoka, Yusuke Miyao, Jun.ichi Tsujii |
| 1375 | Lambda Depth-first Proof Number Search and its Application to Go | Kazuki Yoshizoe, Akihiro Kishimoto, Martin Müller |
| 186 | Mean Shift as Half Quadratic Optimization: With Application to Sequential Mode Seeking | XiaoTong Yuan |
| 1026 | Managing Domain Knowledge and Multiple Models with Boosting | Peng Zang, Charles Isbell |
| 260 | Towards Runtime Behavior Adaptation for Embodied Characters | Peng Zang, Manish Mehta, Michael Mateas, Ashwin Ram |
| 1097 | Concept Sampling: Towards Systematic Selection in Large-Scale Mixed Concepts in Machine Learning | Yi Zhang, Xiaoming Jin |
| 262 | Epistemic Reasoning in Logic Programs | Yan Zhang |
| 746 | Fast Algorithm for Connected Row Convex Constraints | Yuanlin Zhang |
| 824 | Automatic Acquisition of Context-Specific Lexical Paraphrases | Shiqi Zhao, Ting Liu, Xincheng Yuan, Sheng Li, Yu Zhang |
| 820 | Learning Question Paraphrases for QA from Encarta Logs | Shiqi Zhao, Ming Zhou, Ting Liu |
| 883 | Searching for Interacting Features | Zheng Zhao, Huan Liu |
| 1666 | Edge Partitioning in External-Memory Graph Search | Rong Zhou, Eric A. Hansen |
| 897 | Exploiting Image Contents in Web Search | Zhi-Hua Zhou, Hong-Bin Dai |
| 1504 | Learning User Clicks in Web Search | Ding Zhou, Levent Bolelli, Jia Li, C. Lee Giles, Hongyuan Zha |
| 1753 | Semantic Smoothing of Document Models for Agglomerative Clustering | Xiaohua Zhou, Xiaodan Zhang, Xiaohua Hu |
| 1547 | An Empirical Study of the Noise Impact on Cost-Sensitive Learning | Xingquan Zhu, Xindong Wu, Taghi M. Khoshgoftaar, Yong Shi |
| 591 | Mining Complex Patterns across Sequences with Gap Requirements | Xingquan Zhu, Xindong Wu |
| 386 | Conflict Directed Backjumping for Max-CSPs | Roie Zivan, Amnon Meisels |
| 397 | Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions | Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein |